<HTML><HEAD><TITLE>Built-In Predicates</TITLE></HEAD><BODY>[ <A HREF="index.html">Reference Manual</A> | <A HREF="fullindex.html">Alphabetic Index</A> ]
<H1>Built-In Predicates</H1><DL>
<DT><A HREF="kernel/allsols/index.html"><STRONG>All Solutions</STRONG></A></DT>
<DD>Built-ins to collect all solutions to nondeterministic goals</DD>
<DT><A HREF="kernel/arithmetic/index.html"><STRONG>Arithmetic</STRONG></A></DT>
<DD>Built-ins for arithmetic computations</DD>
<DT><A HREF="kernel/compiler/index.html"><STRONG>Predicate Database and Compiler</STRONG></A></DT>
<DD>Built-ins for creation of handling of executable code</DD>
<DT><A HREF="kernel/control/index.html"><STRONG>Control</STRONG></A></DT>
<DD>Built-ins and language constructs to control execution</DD>
<DT><A HREF="kernel/debug/index.html"><STRONG>Debugging</STRONG></A></DT>
<DD>Built-ins and command related to debugging</DD>
<DT><A HREF="kernel/directives/index.html"><STRONG>Directives</STRONG></A></DT>
<DD>Directives that can only appear in compiled files</DD>
<DT><A HREF="kernel/dynamic/index.html"><STRONG>Dynamic Predicates</STRONG></A></DT>
<DD>Built-ins to create and manipulate dynamic procedures</DD>
<DT><A HREF="kernel/env/index.html"><STRONG>Development Environment and Global Settings</STRONG></A></DT>
<DD>Built-ins related to the development environment</DD>
<DT><A HREF="kernel/event/index.html"><STRONG>Event Handling</STRONG></A></DT>
<DD>Built-ins to handle events and interrupts</DD>
<DT><A HREF="kernel/externals/index.html"><STRONG>External Interface</STRONG></A></DT>
<DD>Built-ins to access functions and data from foreign languages</DD>
<DT><A HREF="kernel/iochar/index.html"><STRONG>Character I/O</STRONG></A></DT>
<DD>Built-ins to input and output characters or byte strings</DD>
<DT><A HREF="kernel/iostream/index.html"><STRONG>Stream I/O</STRONG></A></DT>
<DD>Built-ins to open, manipulate and close I/O streams</DD>
<DT><A HREF="kernel/ioterm/index.html"><STRONG>Term I/O</STRONG></A></DT>
<DD>Built-ins for input/output of complex terms</DD>
<DT><A HREF="kernel/modules/index.html"><STRONG>Modules</STRONG></A></DT>
<DD>Directives and built-ins related to the module system</DD>
<DT><A HREF="kernel/obsolete/index.html"><STRONG>Obsolete</STRONG></A></DT>
<DD>Obsolete built-ins which should not be used in new code</DD>
<DT><A HREF="kernel/opsys/index.html"><STRONG>Operating System</STRONG></A></DT>
<DD>Built-ins to access operating-system services</DD>
<DT><A HREF="kernel/record/index.html"><STRONG>Recorded Database</STRONG></A></DT>
<DD>The record-family of built-ins to store data across failures</DD>
<DT><A HREF="kernel/storage/index.html"><STRONG>Non-logical Variables, Arrays, Bags, Shelves and Stores</STRONG></A></DT>
<DD>Built-ins to store data across backtracking</DD>
<DT><A HREF="kernel/stratom/index.html"><STRONG>Strings and Atoms</STRONG></A></DT>
<DD>Built-ins to create, convert and decompose strings and atoms</DD>
<DT><A HREF="kernel/suspensions/index.html"><STRONG>Advanced Control and Suspensions</STRONG></A></DT>
<DD>Everything related to suspensions, priority- and data-driven control</DD>
<DT><A HREF="kernel/syntax/index.html"><STRONG>Syntax Settings</STRONG></A></DT>
<DD>Operators, structures, macros, character classes</DD>
<DT><A HREF="kernel/termcomp/index.html"><STRONG>Comparing and Sorting</STRONG></A></DT>
<DD>Built-ins for symbolic term comparison and sorting</DD>
<DT><A HREF="kernel/termmanip/index.html"><STRONG>Term Manipulation</STRONG></A></DT>
<DD>Built-ins to convert, compose, decompose and modify terms</DD>
<DT><A HREF="kernel/typetest/index.html"><STRONG>Type Testing</STRONG></A></DT>
<DD>Meta-logical built-ins to test the type of terms</DD>
</DL>
<HR>Generated 2009-05-27 01:25
</BODY></HTML>
